Tipo	Título	Autor	Edición	Disponibilidad	Valoración
Libro	Desenvolvimento sistemático de programas corretos: a abordagem denotacional	Martins, Raul César Baptista	1a ed.   (1988)		----------
Tesis	Forks without philosophers o de cómo la cuantificación universal perdió una batalla y de las ventajas que ello reportó:	Martínez López, Pablo Ernesto	(1996)	Sala	----------